Typed lambda calculi and applications - 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
- Författare
- Samson Abramsky International Conference on Typed Lambda Calculi and Applications 2001) Kraków :
- (Samson Abramsky (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2001 | Tyskland, Berlin | 429 sidor. ill. 24 cm |